Alexander Leitsch (Autor) / Nejlevnější knihy

Knihy od autora Alexander Leitsch

Zobrazeno 1 – 8 z 8 výsledků

Další

Stránka 1. z 1

Předchozí

Řadit podle a zobrazit také nedostupné

  1. Computational Logic and Proof Theory

    Computational Logic and Proof Theory

    Georg Gottlob, Alexander Leitsch, Daniele Mundici | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1993


    Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1681

  2. Resolution Calculus

    Resolution Calculus

    Alexander Leitsch | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011


    Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1681

  3. Automated Model Building

    Automated Model Building

    Ricardo Caferra, Alexander Leitsch, Nicolas Peltier | Springer, 2010


    Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    5094

  4. Automated Reasoning

    Automated Reasoning

    Rajeev Gore, Alexander Leitsch, Tobias Nipkow | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001


    Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    3313

  5. Methods of Cut-Elimination

    Methods of Cut-Elimination

    Matthias Baaz, Alexander Leitsch | Springer Netherlands, 2013


    Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    3313

  6. Methods of Cut-Elimination

    Methods of Cut-Elimination

    Alexander Leitsch, Matthias Baaz | Springer, 2011


    Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

    Jazyk: Angličtina

    Vazba: Pevná

    3313

  7. Resolution Methods for the Decision Problem

    Resolution Methods for the Decision Problem

    C. Fernmüller, Alexander Leitsch, ammet Tanel | Springer, Berlin, 1993


    Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1681

  8. Computational Logic and Proof Theory

    Computational Logic and Proof Theory

    Georg Gottlob, Alexander Leitsch, Daniele Mundici | Springer, Berlin, 1997


    Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1681

Další

Stránka 1. z 1

Předchozí

Záznamů na stránku

Filtrovat výsledky

Jazyk
  • Angličtina8
Vazba
  • Brožovaná7
  • Pevná1
Dostupnost
  • Do měsíce8
Rok vydání
  • 20131
  • 20112
  • 20101
  • 20011
  • 19971
  • 19932
Rozsah ceny

-



Osobní odběr Praha, Brno a 12903 dalších

Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies


Můj účet: Přihlásit se
Všechny knihy světa na jednom místě. Navíc za skvělé ceny.

Nákupní košík ( prázdný )

Vyzvednutí v Zásilkovně
zdarma nad 1 499 Kč.

Nacházíte se: